(info): Run man in build dir, not srcdir.

diff --git a/Makefile.in b/Makefile.in
index 78de8cfea416abc80f8ff4b78d136604171157de..bb7b49ec98e03c63f3ae4b2ff4dd7c7368507f6e 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -570,6 +570,9 @@ dist:
 .PHONY: info dvi dist check
 force-info:
 info: force-info
-       (cd ${srcdir}/man; $(MAKE) $(MFLAGS) info)
+       # Note that man/Makefile knows how to
+       # put the info files in $(srcdir),
+       # so we can do ok running make in the build dir.
+       (cd man; $(MAKE) $(MFLAGS) info)
 dvi:
        (cd man; $(MAKE) $(MFLAGS) dvi)